Serge Demeyer | Publications | E-mail Feedback


Serge Demeyer / Publication (Details)

Last updated on Thursday, November 16, 2023

@inproceedings{DemeyerVST2022,
  author =        {Serge Demeyer and Mehrdad Abdi and Ebert Schoofs},
  booktitle =     {Proceedings {VST} 2022 (IEEE Workshop on Validation,
                   Analysis and Evolution of Software Tests)},
  pages =         {1175-1178},
  publisher =     {IEEE},
  title =         {Type Profiling to the Rescue: Test Amplification in
                   Python and Smalltalk},
  year =          {2022},
  abstract =      {Software test amplification is the act of
                   strength-ening manually written test-cases to
                   exercise the boundary conditions of the system under
                   test. It has been demonstrated by the research
                   community to work for the programming language Java,
                   relying on the static type system to safely transform
                   the code under test. In dynamically typed languages,
                   such type declarations are not available, and as a
                   consequence test amplification has yet to find its
                   way to programming languages like Smalltalk, Python,
                   Ruby and Javascript. The AnSyMo research group has
                   created two proof of concept tools for languages
                   without a static type system: AmPyfier (for Python)
                   and Small-Amp (for Pharo-Smalltalk). In this tool
                   demonstration paper we explain how we relied on
                   profiling libraries present in the respective
                   eco-systems to infer the necessary type information
                   for enabling full-blown test amplification.},
  annote =        {workshoppaper},
  doi =           {10.1109/SANER53432.2022.00136},
}

Serge Demeyer | Publications | E-mail Feedback